Extending the fault classification hierarchy for software with relational operators

نویسندگان

  • Jeonghyun Kim
  • Kyunghee Choi
  • Gihyun Jung
چکیده

Testing is a simple and direct way for making software more reliable. Many specification-based software testing mechanisms utilize test points generated based on fault hierarchies, classes of which are categorized by common faults frequently introduced during software implementation. The testing method is effective to identify Boolean faults but has a severe drawback, which is not applicable to testing software with relational operators such as “>” or “!=”. This paper carefully investigates the characteristic of relational operator faults and proposes a unique way to find relational operator reference faults in software. Its feasibility is also shown by applying the proposed method to a HVAC (Heating/Ventilating/Air-Conditioning) system of commercial vehicle. Key-Words: Specification-based test, Boolean fault, relational operator reference fault. Fault classes hierarchy

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Accurate Fault Classification of Transmission Line Using Wavelet Transform and Probabilistic Neural Network

Fault classification in distance protection of transmission lines, with considering the wide variation in the fault operating conditions, has been very challenging task. This paper presents a probabilistic neural network (PNN) and new feature selection technique for fault classification in transmission lines. Initially, wavelet transform is used for feature extraction from half cycle of post-fa...

متن کامل

Comparison of fault classes in specification-based testing

Our results extending Kuhn’s fault class hierarchy provide a justification for the focus of fault-based testing strategies on detecting particular faults and ignoring others. We develop a novel analytical technique which allows us to elegantly prove that the hierarchy applies to arbitrary expressions, not just those in disjunctive normal form. We also use the technique to extend the hierarchy t...

متن کامل

Fault location and classification in non-homogeneous transmission line utilizing breaker transients

In this paper, a single-ended fault location method is presented based on a circuit breaker operation using the frequencies of traveling waves. The proposed method receives the required data from voltage traveling waves with the aid of Fast Fourier Transform (FFT) and Wavelet Transform. Then, the Artificial Neural Network (ANN) identifies fault type and determines its location. In order to eval...

متن کامل

The similarity-aware relational database set operators

Identifying similarities in large datasets is an essential operation in several applications such as bioinformatics, pattern recognition, and data integration. To make a relational database management system similarity-aware, the core relational operators have to be extended. While similarity-awareness has been introduced in database engines for relational operators such as joins and group-by, ...

متن کامل

Structural Manipulations of Software Architecture using Tarski Relational Algebra

A software architecture is typically drawn as a nested set of box and arrow diagrams. The boxes represent components of the software system and the edges represent interactions. These diagrams correspond to typed graphs, in which there are a number of "types" or "colors" of edges, and in which there is a distinguished "contain" relation that represents the system hierarchy (the nesting of boxes...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006